Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
171	JFP 19 (6): 699–722, c Cambridge University Press 2009 699 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2009-11-01 21:42:18 Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic
172	Journal of VLSI Signal Processing manuscript No. (will be inserted by the editor) Acoustic Modelling using Continuous Rational Kernels Martin Layton1 , Mark Gales1 Department of Engineering, University of Cambridge, Trum Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2006-11-22 10:08:34 Statistical classification Natural language processing Linear algebra Markov models Kernel Finite state transducer Vector space N-gram Fisher kernel Statistics Algebra Mathematics
173	JEFFREY C. KING WHAT IS A PHILOSOPHICAL ANALYSIS? (Received 24 JanuaryIt is common for philosophers to offer philosophical accounts or Add to Reading List Source URL: fas-philosophy.rutgers.edu Language: English - Date: 2011-03-21 20:18:32 Mathematical logic Philosophy of language Propositional calculus Ontology Semantics Proposition Function Interpretation Category of being Logic Philosophy Mathematics
174	Towards an algebraic classification of recognizable sets of lambda-terms1 Sylvain Salvati INRIA Bordeaux sud-ouest, LaBRI, universit´ e de Bordeaux Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-28 01:56:16 Models of computation Computability theory Lambda calculus Spectral theory Formal language Theoretical computer science Mathematics Applied mathematics
175	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
176	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
177	An SVG Based Tool for Plane Geometry and Mathematics Education1 Xun Lai, Paul Wang Kent State University, Kent, Ohio, USA Abstract Geometry is an important part of mathematics. Described is a Scalable Vector G Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2005-01-21 01:07:15 Computing Authoring system Web page Mathematics education Java applet Java platform Java programming language
178	Judgment Aggregation by Quota Rules: Majority Voting Generalized Franz Dietrich Department of Quantitative Economics University of Maastricht and Add to Reading List Source URL: www.franzdietrich.net Language: English - Date: 2009-07-30 08:19:30 Propositional calculus Social choice theory Paradoxes Philosophy of language Discursive dilemma Function Proposition Mathematical proof Natural deduction Logic Mathematics Mathematical logic
179	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
180	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics

UPDATE